31![Annotation Generation
Frama-C’s annotation generator plug-in for Frama-C Aluminium Annotation Generation
Frama-C’s annotation generator plug-in for Frama-C Aluminium](https://www.pdfsearch.io/img/dd331a7ea7fd703d7f79202dc06ab041.jpg) | Add to Reading ListSource URL: frama-c.comLanguage: English - Date: 2016-06-01 04:33:33
|
---|
32![Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Higher-Level Techniques for Hardware Description and Synthesis Alan Mycroft, Richard Sharp Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Higher-Level Techniques for Hardware Description and Synthesis Alan Mycroft, Richard Sharp](https://www.pdfsearch.io/img/a8aa964b2cf2689ed8ba3edd624f2e48.jpg) | Add to Reading ListSource URL: rich.recoil.orgLanguage: English - Date: 2006-04-13 14:58:02
|
---|
33![St Andrews Algol to Javascript compiler project William Trend March St Andrews Algol to Javascript compiler project William Trend March](https://www.pdfsearch.io/img/cafd65893e10634a3eacfcf1e339bdb8.jpg) | Add to Reading ListSource URL: info.cs.st-andrews.ac.ukLanguage: English - Date: 2016-08-19 08:58:22
|
---|
34![c Cambridge University Press 2010 JFP 20 (1): 3–18, 2010. � 3 doi:S0956796809990281 c Cambridge University Press 2010 JFP 20 (1): 3–18, 2010. � 3 doi:S0956796809990281](https://www.pdfsearch.io/img/ec8a8b70b94dfcbb973b5a06c5e79820.jpg) | Add to Reading ListSource URL: web.cs.wpi.eduLanguage: English - Date: 2013-06-14 09:02:56
|
---|
35![Composition and Reuse with Compiled Domain-Specific Languages Arvind K. Sujeeth1 , Tiark Rompf2,3 , Kevin J. Brown1 , HyoukJoong Lee1 , Hassan Chafi1,3 , Victoria Popic1 , Michael Wu1 , Aleksandar Prokopec2 , Vojin Jovan Composition and Reuse with Compiled Domain-Specific Languages Arvind K. Sujeeth1 , Tiark Rompf2,3 , Kevin J. Brown1 , HyoukJoong Lee1 , Hassan Chafi1,3 , Victoria Popic1 , Michael Wu1 , Aleksandar Prokopec2 , Vojin Jovan](https://www.pdfsearch.io/img/c56344ee9c9c351cef9f10374eefdeef.jpg) | Add to Reading ListSource URL: axel22.github.ioLanguage: English - Date: 2016-08-13 13:11:44
|
---|
36![Chapter 3 Machine-Level Representation of Programs Computers execute machine code, sequences of bytes encoding the low-level operations that manipulate data, manage memory, read and write data on storage devices, and co Chapter 3 Machine-Level Representation of Programs Computers execute machine code, sequences of bytes encoding the low-level operations that manipulate data, manage memory, read and write data on storage devices, and co](https://www.pdfsearch.io/img/9ac72b43f867bf9a3bd539855c53fcd9.jpg) | Add to Reading ListSource URL: csapp.cs.cmu.eduLanguage: English - Date: 2010-02-14 14:17:20
|
---|
37![DAME: A Runtime-Compiled Engine for Derived Datatypes Tarun Prabhu William Gropp DAME: A Runtime-Compiled Engine for Derived Datatypes Tarun Prabhu William Gropp](https://www.pdfsearch.io/img/2b1bfefd14fa1b2aecac7f3dad4dd0ba.jpg) | Add to Reading ListSource URL: wgropp.cs.illinois.eduLanguage: English - Date: 2015-09-22 08:47:35
|
---|
38![Library Generators and Program Optimization María Garzarán and David Padua Department of Computer Science University of Illinois at Urbana-Champaign Library Generators and Program Optimization María Garzarán and David Padua Department of Computer Science University of Illinois at Urbana-Champaign](https://www.pdfsearch.io/img/039591baf44a1947b9cd4e00762da4cb.jpg) | Add to Reading ListSource URL: www.cs.rice.eduLanguage: English - Date: 2005-10-11 16:37:23
|
---|
39![SACK: a Semantic Automated Compiler Kit Colby T. Skeggs Applications o Rapid architecture testing o Automatically-generated architectures: o For security SACK: a Semantic Automated Compiler Kit Colby T. Skeggs Applications o Rapid architecture testing o Automatically-generated architectures: o For security](https://www.pdfsearch.io/img/e02b5cf879e7e6c32cb351911c77c790.jpg) | Add to Reading ListSource URL: www.celskeggs.comLanguage: English |
---|
40![2016 JLAC TECHNICAL INFORMATION SEMINAR PROGRAM (as of) ■ Date and Time: Tuesday, 6 September:30 to 16:30 (doors open at 12:00) ■ Venue: CURIAN* (Shinagawa Community Center Hall) 8th Floor Main Hal 2016 JLAC TECHNICAL INFORMATION SEMINAR PROGRAM (as of) ■ Date and Time: Tuesday, 6 September:30 to 16:30 (doors open at 12:00) ■ Venue: CURIAN* (Shinagawa Community Center Hall) 8th Floor Main Hal](https://www.pdfsearch.io/img/0c1f26e7b4dc38aeebf07c1639ec68c8.jpg) | Add to Reading ListSource URL: www.accreditation.jpLanguage: English - Date: 2016-07-28 01:13:23
|
---|